Pembuktian Langsung, Pembuktian Dengan Kontradiksi, Dan Istilah Penting Matematika